Graph Classes with Structured Neighborhoods and Algorithmic Applications
نویسندگان
چکیده
Boolean-width is a recently introduced graph width parameter. If a boolean decomposition of width w is given, several NP-complete problems, such as Maximum Weight Independent Set, k-Coloring and Minimum Weight Dominating Set are solvable in O∗(2O(w)) time [5]. In this paper we study graph classes for which we can compute a decomposition of logarithmic boolean-width in polynomial time. Since 2 = n, this gives polynomial time algorithms for the above problems on these graph classes. For interval graphs we show how to construct decompositions where neighborhoods of vertex subsets are nested. We generalize this idea to neighborhoods that can be represented by a constant number of vertices. Moreover we show that these decompositions have boolean-width O(logn). Graph classes having such decompositions include circular arc graphs, circular k-trapezoid graphs, convex graphs, Dilworth k graphs, k-polygon graphs and complements of k-degenerate graphs. Combined with results in [1, 6], this implies that a large class of vertex subset and vertex partitioning problems can be solved in polynomial time on these graph classes.
منابع مشابه
ON NEW CLASSES OF MULTICONE GRAPHS DETERMINED BY THEIR SPECTRUMS
A multicone graph is defined to be join of a clique and a regular graph. A graph $ G $ is cospectral with graph $ H $ if their adjacency matrices have the same eigenvalues. A graph $ G $ is said to be determined by its spectrum or DS for short, if for any graph $ H $ with $ Spec(G)=Spec(H)$, we conclude that $ G $ is isomorphic to $ H $. In this paper, we present new classes of multicone graphs...
متن کاملApplications of Algorithmic Metatheorems to Space Complexity and Parallelism (Invited Talk)
Algorithmic metatheorems state that if a problem can be described in a certain logic and the inputs are structured in a certain way, then the problem can be solved with a certain amount of resources. As an example, by Courcelle’s Theorem all monadic second-order (“in a certain logic”) properties of graphs of bounded tree width (“structured in a certain way”) can be solved in linear time (“with ...
متن کاملSolving MaxSAT and #SAT on Structured CNF Formulas
In this paper we propose a structural parameter of CNF formulas and use it to identify instances of weighted MaxSAT and #SAT that can be solved in polynomial time. Given a CNF formula we say that a set of clauses is precisely satisfiable if there is some complete assignment satisfying these clauses only. Let the ps-value of the formula be the number of precisely satisfiable sets of clauses. App...
متن کاملThe Role of Algorithmic Applications in the Development of Architectural Forms (Case Study:Nine High-Rise Buildings)
The process of developing architectural forms has greatly been changed by advances in digital technology, especially in design tools and applications. In recent years, the advent of graphical scripting languages in the design process has profoundly affected 3D modeling. Scripting languages help develop algorithms and geometrical grammar of shapes based on their constituent parameters. This stud...
متن کاملA Gentle Introduction to Applications of Algorithmic Metatheorems for Space and Circuit Classes
Algorithmic metatheorems state that if a problem can be described in a certain logic and the inputs are structured in a certain way, then the problem can be solved with a certain amount of resources. As an example, by Courcelle’s Theorem, all monadic second-order (“in a certain logic”) properties of graphs of bounded tree width (“structured in a certain way”) can be solved in linear time (“with...
متن کامل